atom{-}free{-}decl\{i:l\}($T$; ${\it eq}$; $d$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$T$${\it eq}$$\forall$$x$$\in$dom($d$). $A$=$d$($x$) $\Rightarrow$  atom{-}free\{1:n\}(Type\{i\}; $A$)